Chapter III Boundary Value Problems 1 Introduction

Source URL: ejde.math.unt.edu

• Mathematical analysis
• Mathematics
• Calculus
• Partial differential equations
• Operator theory
• Functional analysis
• Linear algebra
• Potential theory
• Weak formulation
• Hilbert space
• Weight
• Distribution

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

Polynomial Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda (Tohoku University) Kazuhiro Inaba (National Institute of Informatics*) Keisuke Nakano (the University of Elec

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Currying
• Functional programming
• Equation solving
• Logarithm
• Z-transform

In: Neural Information Processing, ICONIP2001 Proceedings, Fudan University Press, Shanghai 2001, Vol 2, ppA framework for solving functional equations with neural networks Lars Kindermann1

Source URL: reglos.de

• Mathematical analysis
• Mathematics
• Dynamical systems
• Functional equations
• Differential calculus
• Multivariable calculus
• Iterated function
• Equation solving
• Equation
• Implicit function
• Artificial neural network
• Nonlinear system

Program equivalence with names Nikos Tzevelekos Oxford University Computing Laboratory Abstract. The nu-calculus of Pitts and Stark was introduced as a paradigmatic functional language with a very basic local-state effec

Source URL: www.cs.ox.ac.uk

Dynamic Information Flow Analysis for Featherweight JavaScript Technical Report #UCSC-SOEThomas H. Austin UC Santa Cruz

Source URL: ect.bell-labs.com

• Software engineering
• Computer programming
• Computing
• Subroutines
• Lambda calculus
• Functional programming
• Data types
• JavaScript
• Eval
• Anonymous function
• Scope
• Substitution

1 A System Theoretic Approach to Bandwidth Estimation J¨org Liebeherr, Markus Fidler, Shahrokh Valaee

Source URL: arxiv.org

• Mathematical analysis
• Analysis
• Mathematics
• Network performance
• Signal processing
• Image processing
• Functional analysis
• Fourier analysis
• Network calculus
• Convolution
• Bandwidth
• Deconvolution

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ

Source URL: ect.bell-labs.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functions and mappings
• Subroutines
• Functional programming
• Charts
• Graph of a function
• Closure
• Function
• Lambda lifting